Search results for "UML state machine"

showing 4 items of 4 documents

Dual-model approach for safety-critical embedded systems

2020

Abstract The paper presents the design of digital controllers based on two models: the Petri net model, and the UML state machine. These two approaches differ in many aspects of design flow, such as conceptual modelling, and analysis and synthesis. Each of these approaches can be used individually to design an efficient logic controller, and such solutions are well-known, but their interoperability can contribute to a much better understanding of logic controller design and validation. This is especially important in the case of safety- or life-critical embedded systems, and apart from this, a dual-model controller design can make up redundant system increasing its reliability.

Computer Networks and Communicationsbusiness.industryDual modelComputer scienceReliability (computer networking)020208 electrical & electronic engineeringInteroperabilityDesign flow02 engineering and technologyPetri net020202 computer hardware & architectureUML state machineArtificial IntelligenceHardware and ArchitectureControl theoryEmbedded system0202 electrical engineering electronic engineering information engineeringbusinessSoftwareMicroprocessors and Microsystems
researchProduct

From UML State Machine Diagram into FPGA Implementation

2013

Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.

UML toolFinite-state machineProgramming languageComputer scienceHardware description languageCommunication diagramApplications of UMLGeneral Medicinecomputer.software_genreUML state machineComputer Science::Hardware ArchitectureUnified Modeling LanguageSystems Modeling LanguageComputer Science::Programming LanguagesVerilogShlaer–Mellor methodClass diagramcomputercomputer.programming_languageObject Constraint LanguageIFAC Proceedings Volumes
researchProduct

From UML Specification into FPGA Implementation

2014

In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine di- agrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Ar- rays). The UML specification is used to generate an eective program in Hardware Description Languages (HDLs), especially Verilog.

UML toolFinite-state machineComputer scienceProgramming languageHardware description languageApplications of UMLlogic controllerscomputer.software_genreverilog.umlfpgaTK1-9971UML state machinefsmUnified Modeling LanguageVerilogElectrical engineering. Electronics. Nuclear engineeringElectrical and Electronic EngineeringcomputerObject Constraint Languagecomputer.programming_languageAdvances in Electrical and Electronic Engineering
researchProduct

Transformations Between UML Diagrams

2003

The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same system are dependent and strongly overlapping. In this paper we study how this can be exploited for specifying transformation operations between different diagram types. We discuss various general approaches and viewpoints of model transformations in UML. The source and target diagram types for useful transformations are analyzed and given categories. The potentially most interesting transformation operations are discussed in detail. It is concluded that the transformation operations can automate a substantial p…

UML toolTheoretical computer scienceComputer scienceCommunication diagramApplications of UMLcomputer.software_genreUML state machineHardware and ArchitectureSystems Modeling LanguageClass diagramPackage diagramcomputerSoftwareInformation SystemsObject Constraint Languagecomputer.programming_languageJournal of Database Management
researchProduct